tool changing device - German English Dictionary